This test checks the strechy value of the mo tag is case sensitive.
Setting stretchy to True and to false for the integral symbol should give the same result:
Setting stretchy to False and to true for the left ceiling symbol should give the same result: