Frank Dordowsky

I tried option 'nosf' but get the LaTeX Error: Unknown option `nosf' for package `czt'. My czt.sty file has version v.1.4 of 2015/07/23, I could not find a newer file. I have abandoned my attempt to replace fuzz by czt.

When using the theorem environment in the Koma-Script class scrartcl, I get the following error: Class scrartcl Error: undefined old font command `\rm'. together with a lengthy description. It basically complains that the font command \rm is deprecated. Below a minimal example: \documentclass{scrartcl} \usepackage[mathrm,colour,cntbysection]{czt} \begin{document} \begin{theorem}{Crash here} \vdash \forall n : \nat @ n+1 > n \end{theorem} \end{document} The work-around is to use the class option "enabledeprecatedfontcommands",...

Thank you for extended information. Works for me.

Exporting arrows to TikZ