Perpendicular
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
Perpendicularity relation (`AB \perp CD`) — opaque typed head; not evaluated.
Perpendicular(any, any) -> expressionas compute-engine declares it