Remove duplicated $ in 0_Introduction.md#3

mrandri19 wants to merge 1 commit intoTuringLang:masterTuringLang/turinglang.github.io:masterfrom

mrandri19:patch-1Copy head branch name to clipboard