alias symbol "eq" (instance 0) = "leibnitz's equality"
alias symbol "plus" (instance 0) = "natural plus"
### (* METASENV after disambiguation *)
alias symbol "eq" (instance 0) = "leibnitz's equality"
alias symbol "plus" (instance 0) = "natural plus"
### (* METASENV after disambiguation *)