Źródło TeX:
\textbf{jeżeli} \langle przesłanka \rangle \textbf{to} \langle wniosek \rangle