Yes, double flats and double sharp notes are dependent on the key signature, and written as accidentals so that they don't alter the notes used by the key signature (and we are never allowed to do that, are we!)

A classic example that comes to mind is Moonlight Sonata, Opus 27 by Beethoven. Several bars have notes such a F double-sharp and B sharp because it is incorrect to change the notes of the key signature (C#min)
Trev

Attached Files (Click to download or enlarge) (Only available when you are logged in)
2015-10-14_22-34-46.jpg (33.73 KB, 44 downloads)

BIAB & RB2026 Win.(Audiophile), Windows 10 Pro & Windows 11, Cakewalk Bandlab, Izotope Prod.Bundle, Roland RD-1000, Synthogy Ivory, Session Keys Grand S & Electric R, Kontakt, Focusrite 18i20, KetronSD2, NS40M, Pioneer Active Monitors.