\documentclass[12pt,a4paper]{article}

\usepackage{zed-csp}


\begin{document}

% This is a comment

This is some Z in a line 
$ (P \land Q) \iff (A \lor B) $ 
%This is used for anything which is not betweena begin and end

\begin{schema}{Date}
  month: Month\\
  day:1..31
\where
  month \in \{ sep,apr,jun,nov \} \implies day \leq 30 \\
  month = feb \implies day \leq 29
\end{schema} \\

\end{document}