`x=y``x GT y``2/sqrt(5)``x lt y`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy