高天神社
社名については、一見すると「高天・神社」(「高天」という神社)のように見受けられるが、祭神として菅原道真を祀る天神社(天満宮)であることから「高・天神社」(「高」という天神社)と解されている。この神社の立地する山が「高天神山」、隣接していた城が「高天神城」と呼称されることから見ても、「高天」で区切るのではないことがわかる。