%% An example for the "Hets for Common Logic Users" guide
library SymbolMap

logic CommonLogic

from upper get upper
from lower get lower

view v : { lower with a |-> A , b |-> B } to upper
view w : { upper with A |-> a , B |-> b } to lower