converting math rendering to asciimath
removing synched notion (wont submit if not synched) and fixing editor so it displays asciimath