短い記号