On Thursday, 28 October 2021 at 07:45:38 UTC, jfondren wrote: > https://tryapl.org/ > > uni: ∨∧ > asc: v^ I think you would have to write to the authors to find out all the alternatives they gave. I don't know if they provided "^" or not.