file (GLOB symbols *.png)
install (FILES ${symbols} DESTINATION ${DATA_DIR}/images/delimiters)
