\impliedby - Usado para desenhar implícito por símbolo.
{ \impliedby }
\ impliedby command desenha o símbolo impliedby.
\P\impliedby Q