#!/bin/sh
grep '\\]' | sed 's/\\\]$//; s/^.*/[EQ]&[\/EQ]/; s/\\left(/(/g; s/\\right)/)/g; s/(/\\left(/g; s/)/\\right)/g'