Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
Lua 5.1.5  Copyright (C) 1994-2012 Lua.org, PUC-Rio
> dofile "newrect.lua"
> = mpnewJ({}, "1234RR321", "P -> z:Or(P, v'12')")
     /\   
    /\/\  
   /\/\/\ 
  /\/\/\ \
 / /\/\ \/
/ / /\ \/ 
\/ /  \/  
 \/   /   
  \  /    
   \/     
> = mpnewJ({}, "1234RR321", "P -> z:Imp(v'12', P)")
     /\   
    /  \  
   /    \ 
  /     /\
 /\    / /
/\ \  / / 
\ \ \/ /  
 \ \/\/   
  \/\/    
   \/     
> = mpnewJ("", "1234RR321", "P -> z:Imp(v'12', P)")
     /\   
    /  \  
   /    \ 
  /     /\
 /\    / /
/\ \  / / 
\ \ \/ /  
 \ \/\/   
  \/\/    
   \/     
> 
>