See also: [U+314F HANGUL LETTER A]

TranslingualEdit

Character
Unicode name ASSERTION
Code point U+22A6
Unicode block Mathematical Operators
[U+22A5] [U+22A7]

SymbolEdit

  1. (logic) proves;
    \mathsf{PA} \vdash \forall a \ \forall b : a + b = b + a 

Coordinate termsEdit

Last modified on 15 February 2014, at 17:51