Write a single symbols file