Oh after very close reading of Dr Wheeler's / Megil's book, I found that `show statement /full` does it..
On Sunday, June 11, 2023 at 4:21:01 PM UTC+8 Humanities Clinic wrote: > Hi, does anybody have an answer for this? By the way, what I meant is > using the Metamath executable.. > > On Friday, June 9, 2023 at 6:32:10 PM UTC+8 Humanities Clinic wrote: > >> Is there a way to display/list/show *only* statements and symbols of a >> certain type in Metamath? eg. >> only all constant symbols >> only all $a >> >> Also: only all variables (and their typecodes) >> >> Lastly, >> (A) Can the format of the output be changed? >> (B) How does one pipe the output to a file? >> > -- 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/92c50536-4f0c-40d7-94ab-a0cbe9ff5b25n%40googlegroups.com.
