\ impliedby - Tex-Befehl
NAME
\impliedby - Wird verwendet, um durch ein Symbol impliziert zu zeichnen.
ZUSAMMENFASSUNG
{ \impliedby }BESCHREIBUNG
Der Befehl \ impliedby zeichnet ein implizites Symbol.
BEISPIEL
\P\impliedby Q$ P \ impliziert durch Q $