Implement annotation for atoms