Pentadecagon definitions