Type the keyword Given before the equations (NOT as text: don't use ", or try to enter any spaces). Select Find(M,R), make sure the cursor is on the right (use Ins to toggle left and right), and click on "Symbolic evaluation" on the symbolics toolbar, or press Ctrl+.