>>194
(* ̄3 ̄)