add symbola 7.12
a little bit of re-organization