This works: http://web.mit.edu/dwhatley/www/snapdown/web/production.html#a%20-%3E%20(A%20%22a%22)%0Ab%20-%3E%20%5B1%2C%202%5D%0Ac%20-%3E%20(C%201%3A%202)%0Ad%20-%3E%20(D%20d1%20-%3E%201%20d2%20-%3E%202) but not this: http://web.mit.edu/dwhatley/www/snapdown/web/production.html#a%20-%3E%20(A%20%22a%22)%0Ad%20-%3E%20(D%20d1%20-%3E%201%20d2%20-%3E%202)%0Ab%20-%3E%20%5B1%2C%202%5D%0Ac%20-%3E%20(C%201%3A%202)
