UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-006.rkt 
#lang plait
x = b * b
y = 4 * a
@$\vdots$@
s = x / y