mathematical symbol

Deductions

• mathematical symbol is for example implication arrow ⇐ (implication arrow is a mathematical symbol), (is a is inverse of is for example)
• mathematical symbol is for example turnstile ⇐ (turnstile is a mathematical symbol), (is a is inverse of is for example)
• mathematical symbol is subclass of object ⇐ (mathematical symbol is subclass of sign), (sign is subclass of object), (is subclass of is a transitive relation)
• mathematical symbol is subclass of sign ⇐ (mathematical symbol is subclass of symbol), (symbol is subclass of sign), (is subclass of is a transitive relation)