TYPING SYMBOLS || &, ~, and = are on the keyboard || Wedge: v [lower-case vee] || Arrow: -> [dash greater-than] || Double Arrow: <-> [less-than dash greater-than] || Universal: @ || Existential: $ || There is no standard way to type a≠b; so for now you must use the negated form, i.e. ~a=b.