Notazione Zed in lyx

Question

È possibile creare schemi di notazione Zed in Lyx? Come può essere fatto?

Answer 1

Risolto:

Ho installato il pacchetto in stile ZED-CSP tramite Miktex. Poi, in lyx sono andato a Document->Settings->Latex Preamble e aggiunse

\usepackage{zed-csp}

Quindi, per entrare in schemi Zed, simboli, ecc. Questo riferimento

Viene inserito tramite ERT (Evil Red Text) IE, Codice Tex (Ctrl+L). I segmenti Zed nel codice dovrebbero essere circondati da a

\begin{zed}
...
\end{zed}

tranne schemi e tali costrutti che hanno a \begin{..} e \end{..}.

Answer 2

Se puoi usare i pacchetti in lattice in LYX, potresti provare zed-csp. Come installi pacchetti in lattice per LYX Non lo so.