Source TeX:
s=\sqrt{3}/2