That's a good idea. Give me about a week to release a new version with this keyword. If you think of any others that would be useful let me know.
Norm On Sunday, April 5, 2020 at 10:10:12 AM UTC-4, Glauco wrote: > > The command > > HELP WRITE BIBLIOGRAPHY > > doesn't list "claim" as a keyword (and in fact, it looks like it's not > accepted by the markup verifier). > > But books, papers and thesis often use such word, so it may be useful to > add it to the next metamath version. > > > Thanks > Glauco > > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/85af00f3-4d76-4d5b-923c-4ea995c840f6%40googlegroups.com.
