1.1.1.1 subsubsection “simple-double–
User manual for
Singular
version NO VERSION, NO VERSION DATE, generated by
texinfo
.