SG space after `///<`