Here yamma configuration for working vars <https://github.com/glacode/yamma/blob/221c1c017ba20bd854c84627de9bbaf71e87df4c/package.json#L65>
you can see how yamma allows the user to configure prefixes for working variables. Since this is theory-dependent, in principle you could also use a $j comment in a .mm file to suggest such prefixes. -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/metamath/702e8b0b-1578-4127-a204-951268957280n%40googlegroups.com.
