(a: str, b: str, c: str, d: str)
| 80 | |
| 81 | |
| 82 | def pretty_angle(a: str, b: str, c: str, d: str) -> str: |
| 83 | if b in (c, d): |
| 84 | a, b = b, a |
| 85 | if a == d: |
| 86 | c, d = d, c |
| 87 | |
| 88 | if a == c: |
| 89 | return f'\u2220{b}{a}{d}' |
| 90 | return f'\u2220({a}{b}-{c}{d})' |
| 91 | |
| 92 | |
| 93 | def pretty_nl(name: str, args: list[str]) -> str: |