What do the colons and digits mean in " ((A:2) -> (B:1) : 1) " ?
To have unambiguity, wouldn't it be easier, as Giovanni thought was the case, that any natural number be the precedence of at most one operator (even if this is more than needed for unambiguity) ? How do you parse " a * b + c " if both laws have the same precedence ? Thanks, Benoît -- 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/7f7d9c75-9cb8-49aa-9b84-2ed572eb466a%40googlegroups.com.
