Add ominus symbol to symbols.js, move psi(u03c8) up so it is placed next to Psi(u03c7) for code legibility.