Add praxis symbol to operations