s -> sigma
in tophat paper we changed state s to \sigma. Make sure that it is consistent.
See tophat-paper/rules.tex
Edited by Markus Klinik
in tophat paper we changed state s to \sigma. Make sure that it is consistent.
See tophat-paper/rules.tex