Let's say I've to include the following line with my website header:<script type="tex