synthetic symbols

Placeholder content for synthetic symbols.