MBED-QR : EDOP
MBED-QR is an editor command.
Embed the current edwff on the right side of equivalence.
The left side is provided by the user.
The command format for MBED-QR is:
<Ed>MBED-QR LGWFF <<RGWFF>>
"GWFF0" <<GWFF0>>
The result replaces the current wff.
TPS documentation homepage