AR ▸
≠0