飾りをつけても意味はないと思うが。
同一性の証明ならトリップをつければいい。