Update simbolos.js

The solution uses the buttongroup UI element and style attributes for creating margins between the buttons. Unfortunately buttons in other cases are positioned absolutely so buttongroup is the only solution.