double turnstile

Deductions

• symbol is for example double turnstile ⇐ (double turnstile is a symbol), (is a is inverse of is for example)
• double turnstile is a symbol ⇐ (character is subclass of symbol), (double turnstile is a character)
• sign is for example double turnstile ⇐ (double turnstile is a sign), (is a is inverse of is for example)
• object is for example double turnstile ⇐ (double turnstile is a object), (is a is inverse of is for example)
• double turnstile is a object ⇐ (character is subclass of object), (double turnstile is a character)
• double turnstile is a sign ⇐ (character is subclass of sign), (double turnstile is a character)
• character is for example double turnstile ⇐ (double turnstile is a character), (is a is inverse of is for example)