Added visualisation of output rules with LaTex