豎線(術學符號)