(if window-system (set-frame-name ;; everybody loves emacs :) ;; (concat "∀x(person(x)→∃y(emacs(y)∧♥(x,y)))") ;; emacs is loved by everybody :) (concat "∃x∀y(emacs(x)∧(person(y)→♥(y,x)))") ))
add comment
recommend
bookmark
subscribe
