;; The golden ratio, phi.
(eq (eq:= (symbol "phi")
	  (eq:/ (eq:+ 1 (eq:sqrt 5))
	        2)))