1
U+237C ⍼ Right Angle with Downwards Zigzag Arrow
This is part 1. Part 2: update : U+237C ⍼ angzarr; Part 3: Monotype Mathematical Sorts Part 4: U+237C ⍼ is (also) S9576 ⍼
⟨λ. closure ahead⟩
I am a PhD student in the PLClub at UPenn, advised by Stephanie Weirich . Before that, I was a Master’s student in the Software Practices Lab at UBC, advised by William J. Bowman . My research interests include dependent types, type theory, proof assistants, and compilers.
- Popular posts
- 3
- Total points
- 1,459
- HN comments
- 458
- Rank
- #1,299 personal
Visit ionathan.ch → RSS feedOn Hacker News Apr 2022 – Mar 2026
2
U+237C ⍼ Is Azimuth
One year ago, on 28 February 2025, Wikipedia user Moyogo updated the page for Angzarr with a citation to the type foundry H. Berthold AG’s 1950 symbol catalogue listing ⍼ as Azimut, Richtungswinkel , or “azimuth”, “direction angle”. Mystery solved!
3