\impliedby - Se usa para dibujar implícito por símbolo.
{ \impliedby }
\ impliedby command dibuja impliedby symbol.
\P\impliedby Q