My understanding is that to show an accidental F# in a key that uses the F##, you use one sharp sign followed by a natural to show that the second sharp is cancelled. The same notation is used for an F# following an accidental F## in the same measure.

jeffp