MM> open tex df.tex
Created LaTeX output file "df.tex".
Reading definitions from $t statement of bless-p.mm...
?Error: There is no $t command in the file "bless-p.mm".
The file should have exactly one comment of the form $(...$t...$) with
the LaTeX and HTML definitions between $t and $).
?There was an error in the $t comment's LaTeX/HTML definitions.
MM>
--
You received this message because you are subscribed to a topic in the Google Groups "Metamath" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/metamath/3NDUZ4AVEl8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/68eb4f91-e50c-4091-9857-54360f225c71n%40googlegroups.com.