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: